Automated Josephson integrated circuit test system
نویسندگان
چکیده
منابع مشابه
Simulation Based Sequential Circuit Automated Test Pattern Generation
The aim with this paper is to design a high efficient sequential ATPG on single stack-at fault model. A new approach for sequential circuit test generation is proposed in this paper. With combining the advantage of logic simulation based ATPG and fault simulation based ATPG, higher fault coverage and shorter test sequential length are achieved for benchmark circuit instead of pure logic or faul...
متن کاملChemistry integrated circuit: chemical system on a complementary metal oxide semiconductor integrated circuit.
By integrating chemical reactions on a large-scale integration (LSI) chip, new types of device can be created. For biomedical applications, monolithically integrated sensor arrays for potentiometric, amperometric and impedimetric sensing of biomolecules have been developed. The potentiometric sensor array detects pH and redox reaction as a statistical distribution of fluctuations in time and sp...
متن کاملDirectional Amplification with a Josephson Circuit
Nonreciprocal devices perform crucial functions in many low-noise quantum measurements, usually by exploiting magnetic effects. In the proof-of-principle device presented here, on the other hand, two on-chip coupled Josephson parametric converters (JPCs) achieve directionality by exploiting the nonreciprocal phase response of the JPC in the transmission-gain mode. The nonreciprocity of the devi...
متن کاملADDICT: A Prototype System for Automated Test Data Generation Using the Integrated Classification-Tree Methodology
The classification-tree method (CTM) is a black box technique developed by Grochtmann and Grimm, which helps software testers construct test cases systematically from functional specifications. Later, some extension work has been done on CTM by Chen et al., with a view to improving the effectiveness of the method. This extension results in their integrated classification-tree methodology (ICTM)...
متن کاملIntegrated Automated Test Case Generation and Static Analysis – Extended Abstract
In the general literature discussing software quality assurance, there is a common understanding that the software verification process should be supported by both tests and static analyses [Lig02], the latter ranging from informal inspections to rigorous application of formal methods [CCF06]. This understanding is also reflected by the applicable standards for – potentially safety-related – so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Applied Superconductivity
سال: 1993
ISSN: 1051-8223,1558-2515
DOI: 10.1109/77.233980